$\forall$${\it the\_es}$:ES, ${\it e'}$, $e$:E. Dec($e$ c$\leq$ ${\it e'}$)